GermanWikipedia - /page/entry.mu

<!DOCTYPE html>

<title>OpenMath</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">OpenMath</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>OpenMath</b> ist ein Standard zur Beschreibung der <a href="Semantik" title="Semantik">Semantik</a> <a href="Mathematik" title="Mathematik">mathematischer</a> Formeln. Im Gegensatz zu Satzprogrammen wie <a href="TeX" title="TeX">TeX</a>, die Formeln nur darstellen, versucht OpenMath den mathematischen Inhalt mit seinen eigenen Gesetzmäßigkeiten zu repräsentieren. OpenMath kann dazu verwendet werden, die Semantik von Formeln zu beschreiben, deren Präsentation in <a href="Mathematical_Markup_Language" title="Mathematical Markup Language">MathML</a> notiert ist.

</p>

<div class="mw-heading mw-heading2"><h2 id="Umfang">Umfang</h2></div>

<p>Der OpenMath-Standard definiert OpenMath-Objekte („OpenMath Objects“), einen <a href="Abstrakter_Datentyp" title="Abstrakter Datentyp">abstrakten Datentyp</a> zur Beschreibung der funktionalen Struktur mathematischer Formeln, als Ausdrücke aus Symbolen („OpenMath Symbols“), Variablen („OpenMath Variables“), Funktionsanwendungen („OpenMath Applications“) und Bindungsausdrücken („OpenMath Binding Object“). Die Bedeutung eines Symbols wird durch Referenzierung seiner Definition in einem Inhaltslexikon („Content Dictionary“, CD) festgelegt. CDs sind Sammlungen von Definitionen mathematischer Konzepte. Es gibt einen Satz standardisierter Content Dictionaries, in der die aus Content MathML bekannten Symbole vordefiniert sind. CDs sind ausdrücklich auch dazu gedacht, Content MathML um neue Symbole zu erweitern.

</p>

<div class="mw-heading mw-heading2"><h2 id="Geschichte">Geschichte</h2></div>

<p>OpenMath ist seit <a href="1993" title="1993">1993</a> in einer langen Reihe von Workshops und (meist europäischen) Projekten entwickelt worden. Der OpenMath-1.0-Standard wurde im Februar 2000 veröffentlicht, und im Oktober 2002 als OpenMath 1.1 erweitert. Der OpenMath-2.0-Standard wurde zwei Jahre später im Juni 2004 veröffentlicht. OpenMath 1 legte die grundlegende Architektur fest. OpenMath 2 erweiterte diese um bessere XML-Integration, gemeinsam genutzte Strukturen (structure sharing) und um abstrakte CDs.

</p>

<div class="mw-heading mw-heading2"><h2 id="OpenMath_Society">OpenMath Society</h2></div>

<p>Die Aktivitäten um OpenMath werden von der OpenMath Society mit Sitz in <a href="Helsinki" title="Helsinki">Helsinki</a>, <a href="Finnland" title="Finnland">Finnland</a>, koordiniert.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> Die Society bringt Entwickler mathematischer Software-Systeme, Verlage und Autoren zusammen. Die Mitgliedschaft wird vom Vorstand verliehen; Bewerbungen von Personen, die an OpenMath in Forschung oder Anwendung gearbeitet haben, sind jedoch auch willkommen. Präsident der OpenMath Society ist <a href="Michael_Kohlhase" title="Michael Kohlhase">Michael Kohlhase</a> (seit 2007).

</p>

<div class="mw-heading mw-heading2"><h2 id="Beispiel">Beispiel</h2></div>

<p>Die bekannte Quadratformel

</p>

<mfrac>

<mrow>

<msqrt>

<msup>

</mrow>

</msup>

</msqrt>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}}</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/00c22777378f9c594c71158fea8946f2495f2a28.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:21.525ex; height:6.176ex;" alt="{\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}}" loading="lazy"></span></dd></dl>

<p>wird in OpenMath wie folgt repräsentiert (es handelt sich hier um einen baumartigen Ausdruck, dessen funktionale Teile mittels <a href="Extensible_Markup_Language" title="Extensible Markup Language">XML</a>-Elementen wie OMA für Funktionsanwendung oder OMV für Variablen dargestellt werden):

</p>

<OMA>

<OMA>

<OMA>

</OMA>

<OMA>

<OMA>

<OMA>

</OMA>

<OMA>

</OMA>

</OMA>

<OMA>

</OMA>

</OMOBJ>

</pre>

<p>In diesem Ausdruck stehen die Symbole – also Elemente wie <i><OMS cd="arith1" name="times"/></i> – für mathematische Funktionen, die auf ihre Schwester-Elemente in <i>OMA</i> Elementen angewandt werden. Diese werden dabei als Argumente interpretiert. Das <i>OMS</i> Element steht dabei für dasjenige mathematische Konzept, das im Inhaltslexikon definiert wird, das durch das <i>cd</i> Attribut spezifiziert wird. (Dieses XML-Dokument kann an der <a href="Uniform_Resource_Identifier" title="Uniform Resource Identifier">URI</a> gefunden werden, die im nächsten dominierenden <i>cdbase</i> Attribut gegeben ist. Im Beispiel oben kommen alle Symbole aus dem CD für die <a href="Arithmetik" title="Arithmetik">Arithmetik</a> (<i>arith1</i> siehe unten).)

</p>

<div class="mw-heading mw-heading2"><h2 id="OpenMath-Inhaltslexika_(Content_Dictionaries)"><span id="OpenMath-Inhaltslexika_.28Content_Dictionaries.29"></span>OpenMath-Inhaltslexika (Content Dictionaries)</h2></div>

<p>CDs sind strukturierte XML-Dokumente, die mathematische Symbole definieren, die von OMS-Elementen in OpenMath-Objekten referenziert werden können. Der OpenMath-2-Standard fixiert keine kanonische <a href="Syntax" title="Syntax">Syntax</a> für CDs, sondern fordert nur eine Infrastruktur, die für die Referenzierung in "OMS" Elementen ausreicht. OpenMath selbst verwendet eine sehr einfache XML-basierte Syntax und stellt CDs für einige mathematische Gebiete zur Verfügung. Insbesondere wird das „K-14-Fragment der Mathematik“ (entspricht in etwa der Mathematik bis zum deutschen <a href="Abitur" title="Abitur">Abitur</a>), das auch in Content <a href="Mathematical_Markup_Language" title="Mathematical Markup Language">MathML</a> verwendet wird, unterstützt.

</p>

<div class="mw-heading mw-heading2"><h2 id="OMDoc_für_größere_Kontexte"><span id="OMDoc_f.C3.BCr_gr.C3.B6.C3.9Fere_Kontexte"></span>OMDoc für größere Kontexte</h2></div>

<p>Um OpenMath-Formeln in größere Kontexte einzubetten, kann das Format <a href="OMDoc" title="OMDoc">OMDoc</a> verwendet werden. OMDoc stellt Strukturen für mathematische Aussagen wie etwa Definition, Satz, Beweis und Beispiel bereit, die OpenMath-Formeln enthalten können. Gruppen von kontextuell aufeinander bezogenen Aussagen können zu Theorien zusammengefasst werden. Als Sammlung von Symboldefinitionen betrachtet, ist eine OMDoc-Theorie kompatibel zu einem OpenMath Content Dictionary.

</p>

<div class="mw-heading mw-heading2"><h2 id="Kritik">Kritik</h2></div>

<p>OpenMath wird kritisiert, für allgemeine Mathematik inadäquat zu sein, keine ausreichenden formalen Mittel für Gleitkommaarithmetik zu bieten, trotz jahrelanger Arbeit am Konzept keinen Nachweis der praktischen Anwendbarkeit erbracht zu haben, und bereits etablierten Mechanismen zur Kodierung mathematischer Semantik unterlegen zu sein, neben weiteren Kritikpunkten.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.openmath.org">The OpenMath website</a> – Die Urquelle für Informationen über OpenMath</li>

<li><a rel="nofollow" class="external text" href="http://www.openmath.org/standard/">The OpenMath Standard</a> – Die Definition von OpenMath-Objekten</li>

<li><a rel="nofollow" class="external text" href="http://www.openmath.org/cd/">OpenMath Content Dictionaries</a> – Die OpenMath-Inhaltslexika</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.openmath.org/society/index.html">The OpenMath Society</a>, auf openmath.org, abgerufen am 8. Oktober 2018</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Richard J. Fateman <a rel="nofollow" class="external text" href="http://www.cs.berkeley.edu/~fateman/papers/openmathcrit.pdf">A Critique of OpenMath and Thoughts on Encoding Mathematics</a>, Computer Science Division University of California, Berkeley, abgerufen am 25. April 2015 </span>

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-01-02" href="https://de.wikipedia.org/wiki/?title=OpenMath&oldid=251849544">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>